Inheriting and Modifying Behavior
نویسندگان
چکیده
In many languages, the mechanism of protected members is critical to making inheritance work. It allows access to some of the internals of a base class B to the designer of a derived class D, while denying it to clients of B. We develop an axiomatic approach in which class behavior is speciied in terms of an abstract speciication AND a concrete speciication, the former for use by a client, the latter containing information about how the protected members change, for use by a derived class designer. We present proof rules that allow us to establish that a class meets both speciications.
منابع مشابه
An Extended Theory of Primitive Objects: FIrst Order System
We investigate a rst-order extension of the Theory of Primitive Objects of 5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. Th...
متن کاملSpherically Symmetric Static Spacetimes
In this paper we discuss matter inheritance collineations by giving a complete classification of spherically symmetric static spacetimes by their matter inheritance symmetries. It is shown that when the energy-momentum tensor is degenerate, most of the cases yield infinite dimensional matter inheriting symmetries. It is worth mentioning here that two cases provide finite dimensional matter inhe...
متن کاملThe food-energy-water nexus: A framework for sustainable development modeling
Energy, water, and food are facing present and future challenges triggered by climate change, population growth, human behavior, and economics. Management strategies for energy, water, and food are possible through policies, technology, and related education. However, the links between resources (energy, water, and food) and impacting factors (population increase, human behavior, economics, and...
متن کاملAnalyticity of strictly static and strictly stationary, inheriting and non-inheriting Einstein-Maxwell solutions
Following the technique of [1], we show that strictly static and strictly stationary solutions of the Einstein-Maxwell equations are analytic in harmonic coordinates. This holds whether or not the Maxwell field inherits the symmetry.
متن کاملInheriting of properties on spectra
We develop the technique of inheriting some properties from spectrum to differential spectrum. Using this machinery, we obtain some new geometric properties of differential algebraic groups.
متن کامل